[next] [tail] [up]

Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 35 39 46 53 0 0 40

N.S.

1 1.00 0.67 0.75 0.88 1.02 0.00 0.00 0.77

time (sec)

N/A 0.028 0.049 0.773 0.213 0.259 0.000 0.000 8.335

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 29 14 28 0 0 29

N.S.

1 1.00 1.00 1.16 0.56 1.12 0.00 0.00 1.16

time (sec)

N/A 0.003 0.007 0.634 0.213 0.269 0.000 0.000 8.181

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 22 17 21 0 14 21

N.S.

1 1.00 1.00 0.96 0.74 0.91 0.00 0.61 0.91

time (sec)

N/A 0.003 0.010 0.582 0.221 0.270 0.000 0.316 8.144

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 46 41 38 54 0 52 51

N.S.

1 1.00 0.60 0.53 0.49 0.70 0.00 0.68 0.66

time (sec)

N/A 0.039 0.255 0.585 0.215 0.282 0.000 0.334 8.277

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 48 36 37 46 48 38 51

N.S.

1 1.00 1.00 0.75 0.77 0.96 1.00 0.79 1.06

time (sec)

N/A 0.016 0.019 0.419 0.307 0.273 0.071 0.301 0.054

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-1) A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

79 79 39 31 83 13 0 23 59

N.S.

1 1.00 0.49 0.39 1.05 0.16 0.00 0.29 0.75

time (sec)

N/A 0.016 1.020 0.187 0.225 0.285 0.000 0.299 8.222

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 39 36 13 13 0 29 0

N.S.

1 1.00 0.49 0.46 0.16 0.16 0.00 0.37 0.00

time (sec)

N/A 0.015 1.007 4.595 0.222 0.283 0.000 0.298 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 39 36 13 13 0 29 0

N.S.

1 1.00 0.49 0.46 0.16 0.16 0.00 0.37 0.00

time (sec)

N/A 0.015 1.011 3.115 0.222 0.274 0.000 0.305 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C B A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

36 36 88 23 52 13 0 22 33

N.S.

1 1.00 2.44 0.64 1.44 0.36 0.00 0.61 0.92

time (sec)

N/A 0.018 0.327 0.093 0.217 0.255 0.000 0.305 8.399

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 39 36 13 13 0 29 0

N.S.

1 1.00 0.49 0.46 0.16 0.16 0.00 0.37 0.00

time (sec)

N/A 0.012 1.007 1.931 0.215 0.269 0.000 0.314 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 36 33 10 10 0 20 0

N.S.

1 1.00 0.49 0.45 0.14 0.14 0.00 0.27 0.00

time (sec)

N/A 0.009 0.006 1.556 0.215 0.257 0.000 0.291 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

75 75 454 26 96 11 0 28 109

N.S.

1 1.00 6.05 0.35 1.28 0.15 0.00 0.37 1.45

time (sec)

N/A 0.014 0.692 0.062 0.210 0.256 0.000 0.304 8.371

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 38 36 14 14 0 29 0

N.S.

1 1.00 0.49 0.47 0.18 0.18 0.00 0.38 0.00

time (sec)

N/A 0.015 1.010 2.390 0.215 0.254 0.000 0.315 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 37 34 15 15 0 26 0

N.S.

1 1.00 0.50 0.46 0.20 0.20 0.00 0.35 0.00

time (sec)

N/A 0.014 1.007 3.159 0.220 0.255 0.000 0.300 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A A F(-1) A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

75 75 178 28 99 17 0 43 112

N.S.

1 1.00 2.37 0.37 1.32 0.23 0.00 0.57 1.49

time (sec)

N/A 0.015 0.220 0.074 0.224 0.260 0.000 0.289 8.356

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 37 34 13 13 0 30 33

N.S.

1 1.00 0.48 0.44 0.17 0.17 0.00 0.39 0.43

time (sec)

N/A 0.015 1.012 4.524 0.214 0.253 0.000 0.293 8.230

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 39 35 15 15 0 31 35

N.S.

1 1.00 0.49 0.44 0.19 0.19 0.00 0.39 0.44

time (sec)

N/A 0.015 1.009 5.245 0.220 0.258 0.000 0.320 8.169

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-1) A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

79 79 37 22 86 13 0 30 33

N.S.

1 1.00 0.47 0.28 1.09 0.16 0.00 0.38 0.42

time (sec)

N/A 0.014 1.011 0.056 0.221 0.256 0.000 0.319 8.173

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 39 35 15 15 0 31 35

N.S.

1 1.00 0.49 0.44 0.19 0.19 0.00 0.39 0.44

time (sec)

N/A 0.015 1.008 7.162 0.221 0.285 0.000 0.297 8.172

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 39 35 15 15 0 31 35

N.S.

1 1.00 0.49 0.44 0.19 0.19 0.00 0.39 0.44

time (sec)

N/A 0.015 1.010 8.955 0.219 0.248 0.000 0.296 8.271

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F(-1) A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

79 79 39 24 117 15 0 31 35

N.S.

1 1.00 0.49 0.30 1.48 0.19 0.00 0.39 0.44

time (sec)

N/A 0.016 1.013 0.066 0.218 0.240 0.000 0.306 8.136

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 39 35 15 15 0 31 35

N.S.

1 1.00 0.49 0.44 0.19 0.19 0.00 0.39 0.44

time (sec)

N/A 0.015 1.014 11.827 0.243 0.239 0.000 0.330 8.206

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 61 58 35 35 0 67 0

N.S.

1 1.00 0.37 0.35 0.21 0.21 0.00 0.40 0.00

time (sec)

N/A 0.029 1.017 8.139 0.234 0.252 0.000 0.287 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

119 167 113 42 114 35 0 67 0

N.S.

1 1.40 0.95 0.35 0.96 0.29 0.00 0.56 0.00

time (sec)

N/A 0.038 0.515 0.118 0.227 0.252 0.000 0.311 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 61 58 35 35 0 67 0

N.S.

1 1.00 0.37 0.35 0.21 0.21 0.00 0.40 0.00

time (sec)

N/A 0.028 1.015 6.202 0.218 0.264 0.000 0.288 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 61 58 35 35 0 67 0

N.S.

1 1.00 0.37 0.35 0.21 0.21 0.00 0.40 0.00

time (sec)

N/A 0.027 1.019 5.336 0.218 0.254 0.000 0.324 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

78 78 113 31 83 35 0 45 46

N.S.

1 1.00 1.45 0.40 1.06 0.45 0.00 0.58 0.59

time (sec)

N/A 0.035 0.466 0.100 0.247 0.253 0.000 0.306 8.319

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 61 58 35 35 0 67 0

N.S.

1 1.00 0.37 0.35 0.21 0.21 0.00 0.40 0.00

time (sec)

N/A 0.028 1.015 3.764 0.231 0.248 0.000 0.284 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 61 58 35 35 0 67 0

N.S.

1 1.00 0.37 0.35 0.21 0.21 0.00 0.40 0.00

time (sec)

N/A 0.027 1.014 3.145 0.209 0.259 0.000 0.308 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

36 36 112 23 52 35 0 44 36

N.S.

1 1.00 3.11 0.64 1.44 0.97 0.00 1.22 1.00

time (sec)

N/A 0.020 0.709 0.087 0.212 0.249 0.000 0.308 8.485

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 61 58 35 35 0 67 0

N.S.

1 1.00 0.37 0.35 0.21 0.21 0.00 0.40 0.00

time (sec)

N/A 0.024 1.014 1.858 0.205 0.274 0.000 0.312 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 162 59 56 32 32 0 64 0

N.S.

1 1.00 0.36 0.35 0.20 0.20 0.00 0.40 0.00

time (sec)

N/A 0.023 1.012 1.524 0.206 0.261 0.000 0.302 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

160 160 60 54 152 32 0 65 0

N.S.

1 1.00 0.38 0.34 0.95 0.20 0.00 0.41 0.00

time (sec)

N/A 0.030 1.016 0.083 0.205 0.270 0.000 0.311 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 165 61 58 37 37 0 67 0

N.S.

1 1.00 0.37 0.35 0.22 0.22 0.00 0.41 0.00

time (sec)

N/A 0.027 1.014 2.433 0.220 0.266 0.000 0.329 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 163 61 58 37 37 0 65 0

N.S.

1 1.00 0.37 0.36 0.23 0.23 0.00 0.40 0.00

time (sec)

N/A 0.026 1.016 3.132 0.202 0.261 0.000 0.312 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 161 62 59 156 38 0 85 0

N.S.

1 1.00 0.39 0.37 0.97 0.24 0.00 0.53 0.00

time (sec)

N/A 0.032 1.015 0.109 0.217 0.262 0.000 0.286 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 165 61 58 37 37 0 69 0

N.S.

1 1.00 0.37 0.35 0.22 0.22 0.00 0.42 0.00

time (sec)

N/A 0.027 1.013 4.434 0.212 0.240 0.000 0.300 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 163 61 58 37 37 0 68 0

N.S.

1 1.00 0.37 0.36 0.23 0.23 0.00 0.42 0.00

time (sec)

N/A 0.028 1.015 5.162 0.217 0.237 0.000 0.319 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

162 162 612 59 220 39 0 86 0

N.S.

1 1.00 3.78 0.36 1.36 0.24 0.00 0.53 0.00

time (sec)

N/A 0.034 0.820 0.091 0.216 0.238 0.000 0.287 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 165 61 58 37 37 0 70 0

N.S.

1 1.00 0.37 0.35 0.22 0.22 0.00 0.42 0.00

time (sec)

N/A 0.026 1.012 7.541 0.219 0.258 0.000 0.343 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 162 61 58 37 37 0 67 0

N.S.

1 1.00 0.38 0.36 0.23 0.23 0.00 0.41 0.00

time (sec)

N/A 0.026 1.013 8.781 0.201 0.263 0.000 0.299 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

161 161 266 52 253 39 0 85 0

N.S.

1 1.00 1.65 0.32 1.57 0.24 0.00 0.53 0.00

time (sec)

N/A 0.030 0.309 0.089 0.223 0.263 0.000 0.408 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 165 61 57 37 37 0 69 151

N.S.

1 1.00 0.37 0.35 0.22 0.22 0.00 0.42 0.92

time (sec)

N/A 0.026 1.012 12.025 0.216 0.258 0.000 0.318 8.227

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 61 57 37 37 0 69 151

N.S.

1 1.00 0.37 0.34 0.22 0.22 0.00 0.41 0.90

time (sec)

N/A 0.026 1.016 13.024 0.207 0.262 0.000 0.281 8.253

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F B B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

41 41 59 41 148 35 0 68 151

N.S.

1 1.00 1.44 1.00 3.61 0.85 0.00 1.66 3.68

time (sec)

N/A 0.012 1.011 0.087 0.220 0.269 0.000 0.291 8.223

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 61 57 37 37 0 69 151

N.S.

1 1.00 0.37 0.34 0.22 0.22 0.00 0.41 0.90

time (sec)

N/A 0.027 1.013 16.682 0.209 0.257 0.000 0.330 8.163

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 61 57 37 37 0 69 151

N.S.

1 1.00 0.37 0.34 0.22 0.22 0.00 0.41 0.90

time (sec)

N/A 0.027 1.014 19.193 0.219 0.255 0.000 0.329 8.118

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

84 84 61 44 179 37 0 69 151

N.S.

1 1.00 0.73 0.52 2.13 0.44 0.00 0.82 1.80

time (sec)

N/A 0.027 1.012 0.097 0.210 0.261 0.000 0.394 8.198

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 61 57 37 37 0 69 151

N.S.

1 1.00 0.37 0.34 0.22 0.22 0.00 0.41 0.90

time (sec)

N/A 0.028 1.014 24.284 0.201 0.276 0.000 0.285 8.278

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 255 83 80 57 57 0 105 0

N.S.

1 1.00 0.33 0.31 0.22 0.22 0.00 0.41 0.00

time (sec)

N/A 0.041 1.023 14.543 0.206 0.281 0.000 0.292 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 255 83 80 57 57 0 105 0

N.S.

1 1.00 0.33 0.31 0.22 0.22 0.00 0.41 0.00

time (sec)

N/A 0.039 1.022 13.043 0.209 0.269 0.000 0.292 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

160 160 135 53 145 57 0 105 0

N.S.

1 1.00 0.84 0.33 0.91 0.36 0.00 0.66 0.00

time (sec)

N/A 0.077 0.809 0.281 0.213 0.263 0.000 0.301 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 255 83 80 57 57 0 105 0

N.S.

1 1.00 0.33 0.31 0.22 0.22 0.00 0.41 0.00

time (sec)

N/A 0.038 1.021 9.722 0.203 0.263 0.000 0.283 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 255 83 80 57 57 0 105 0

N.S.

1 1.00 0.33 0.31 0.22 0.22 0.00 0.41 0.00

time (sec)

N/A 0.037 1.016 8.354 0.221 0.251 0.000 0.284 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

119 119 135 42 114 57 0 105 0

N.S.

1 1.00 1.13 0.35 0.96 0.48 0.00 0.88 0.00

time (sec)

N/A 0.062 0.751 0.172 0.223 0.241 0.000 0.293 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 255 83 80 57 57 0 105 0

N.S.

1 1.00 0.33 0.31 0.22 0.22 0.00 0.41 0.00

time (sec)

N/A 0.041 1.018 6.322 0.210 0.253 0.000 0.322 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 255 83 80 57 57 0 105 0

N.S.

1 1.00 0.33 0.31 0.22 0.22 0.00 0.41 0.00

time (sec)

N/A 0.038 1.016 5.226 0.203 0.243 0.000 0.284 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

78 78 135 31 83 57 0 67 0

N.S.

1 1.00 1.73 0.40 1.06 0.73 0.00 0.86 0.00

time (sec)

N/A 0.037 0.693 0.110 0.211 0.248 0.000 0.285 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 255 83 80 57 57 0 105 0

N.S.

1 1.00 0.33 0.31 0.22 0.22 0.00 0.41 0.00

time (sec)

N/A 0.037 1.018 3.750 0.230 0.257 0.000 0.289 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

252 252 83 80 56 56 0 104 0

N.S.

1 1.00 0.33 0.32 0.22 0.22 0.00 0.41 0.00

time (sec)

N/A 0.037 1.017 2.852 0.212 0.265 0.000 0.295 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A A F B B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

36 36 82 23 52 57 0 66 36

N.S.

1 1.00 2.28 0.64 1.44 1.58 0.00 1.83 1.00

time (sec)

N/A 0.020 1.017 0.105 0.215 0.285 0.000 0.321 8.214

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

252 252 83 80 56 56 0 104 0

N.S.

1 1.00 0.33 0.32 0.22 0.22 0.00 0.41 0.00

time (sec)

N/A 0.036 1.019 1.913 0.212 0.285 0.000 0.293 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

247 247 81 78 53 53 0 101 0

N.S.

1 1.00 0.33 0.32 0.21 0.21 0.00 0.41 0.00

time (sec)

N/A 0.032 1.014 1.470 0.192 0.255 0.000 0.297 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

251 251 82 75 206 55 0 104 0

N.S.

1 1.00 0.33 0.30 0.82 0.22 0.00 0.41 0.00

time (sec)

N/A 0.048 1.019 0.082 0.206 0.274 0.000 0.282 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

251 251 83 80 59 59 0 105 0

N.S.

1 1.00 0.33 0.32 0.24 0.24 0.00 0.42 0.00

time (sec)

N/A 0.041 1.018 2.378 0.202 0.289 0.000 0.306 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

251 251 83 80 59 59 0 103 0

N.S.

1 1.00 0.33 0.32 0.24 0.24 0.00 0.41 0.00

time (sec)

N/A 0.038 1.017 2.814 0.217 0.294 0.000 0.292 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

252 252 85 81 214 61 0 124 0

N.S.

1 1.00 0.34 0.32 0.85 0.24 0.00 0.49 0.00

time (sec)

N/A 0.049 1.018 0.105 0.213 0.274 0.000 0.314 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

249 249 83 80 59 59 0 107 0

N.S.

1 1.00 0.33 0.32 0.24 0.24 0.00 0.43 0.00

time (sec)

N/A 0.037 1.019 4.334 0.201 0.258 0.000 0.304 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

251 251 83 80 59 59 0 106 0

N.S.

1 1.00 0.33 0.32 0.24 0.24 0.00 0.42 0.00

time (sec)

N/A 0.040 1.017 5.160 0.214 0.284 0.000 0.297 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

252 252 276 82 282 61 0 126 0

N.S.

1 1.00 1.10 0.33 1.12 0.24 0.00 0.50 0.00

time (sec)

N/A 0.047 0.804 0.122 0.205 0.289 0.000 0.299 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

248 248 83 80 59 59 0 107 0

N.S.

1 1.00 0.33 0.32 0.24 0.24 0.00 0.43 0.00

time (sec)

N/A 0.039 1.018 7.413 0.203 0.286 0.000 0.290 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

247 247 83 80 59 59 0 105 0

N.S.

1 1.00 0.34 0.32 0.24 0.24 0.00 0.43 0.00

time (sec)

N/A 0.039 1.016 8.876 0.210 0.262 0.000 0.285 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

252 252 279 82 313 61 0 127 0

N.S.

1 1.00 1.11 0.33 1.24 0.24 0.00 0.50 0.00

time (sec)

N/A 0.046 0.748 0.223 0.212 0.268 0.000 0.284 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

253 253 83 80 59 59 0 108 0

N.S.

1 1.00 0.33 0.32 0.23 0.23 0.00 0.43 0.00

time (sec)

N/A 0.038 1.017 11.737 0.203 0.268 0.000 0.294 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

247 247 83 80 59 59 0 106 0

N.S.

1 1.00 0.34 0.32 0.24 0.24 0.00 0.43 0.00

time (sec)

N/A 0.039 1.012 12.872 0.214 0.261 0.000 0.301 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

252 252 696 81 342 61 0 125 0

N.S.

1 1.00 2.76 0.32 1.36 0.24 0.00 0.50 0.00

time (sec)

N/A 0.046 0.938 0.326 0.223 0.277 0.000 0.290 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

253 253 83 80 59 59 0 108 0

N.S.

1 1.00 0.33 0.32 0.23 0.23 0.00 0.43 0.00

time (sec)

N/A 0.038 1.016 17.542 0.203 0.275 0.000 0.287 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

248 248 83 80 59 59 0 105 0

N.S.

1 1.00 0.33 0.32 0.24 0.24 0.00 0.42 0.00

time (sec)

N/A 0.039 1.015 20.374 0.205 0.272 0.000 0.315 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

251 251 268 72 374 61 0 123 0

N.S.

1 1.00 1.07 0.29 1.49 0.24 0.00 0.49 0.00

time (sec)

N/A 0.047 0.495 0.632 0.227 0.265 0.000 0.296 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

251 251 83 79 59 59 0 107 231

N.S.

1 1.00 0.33 0.31 0.24 0.24 0.00 0.43 0.92

time (sec)

N/A 0.039 1.018 25.488 0.210 0.254 0.000 0.311 8.348

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

253 253 83 79 59 59 0 107 231

N.S.

1 1.00 0.33 0.31 0.23 0.23 0.00 0.42 0.91

time (sec)

N/A 0.039 1.018 27.049 0.204 0.266 0.000 0.317 8.362

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B B F B B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

41 41 81 58 210 57 0 106 231

N.S.

1 1.00 1.98 1.41 5.12 1.39 0.00 2.59 5.63

time (sec)

N/A 0.014 1.016 1.203 0.224 0.276 0.000 0.295 8.367

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

253 253 83 79 59 59 0 107 231

N.S.

1 1.00 0.33 0.31 0.23 0.23 0.00 0.42 0.91

time (sec)

N/A 0.038 1.018 33.178 0.214 0.262 0.000 0.298 8.346

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 255 83 79 59 59 0 107 231

N.S.

1 1.00 0.33 0.31 0.23 0.23 0.00 0.42 0.91

time (sec)

N/A 0.038 1.015 38.250 0.230 0.272 0.000 0.300 8.448

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

84 84 83 68 241 59 0 107 231

N.S.

1 1.00 0.99 0.81 2.87 0.70 0.00 1.27 2.75

time (sec)

N/A 0.029 1.015 2.323 0.215 0.257 0.000 0.293 8.360

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 255 83 79 59 59 0 107 231

N.S.

1 1.00 0.33 0.31 0.23 0.23 0.00 0.42 0.91

time (sec)

N/A 0.039 1.013 46.670 0.207 0.265 0.000 0.300 8.343

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 255 83 79 59 59 0 107 231

N.S.

1 1.00 0.33 0.31 0.23 0.23 0.00 0.42 0.91

time (sec)

N/A 0.039 1.016 50.938 0.208 0.281 0.000 0.293 8.340

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

128 128 83 66 272 59 0 107 231

N.S.

1 1.00 0.65 0.52 2.12 0.46 0.00 0.84 1.80

time (sec)

N/A 0.039 1.025 4.142 0.213 0.264 0.000 0.296 8.352

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

240 240 131 77 109 123 0 146 0

N.S.

1 1.00 0.55 0.32 0.45 0.51 0.00 0.61 0.00

time (sec)

N/A 0.085 1.042 4.101 0.301 0.259 0.000 0.296 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

235 235 128 74 106 106 0 143 0

N.S.

1 1.00 0.54 0.31 0.45 0.45 0.00 0.61 0.00

time (sec)

N/A 0.080 1.026 3.208 0.283 0.257 0.000 0.301 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

44 44 51 22 15 13 0 22 33

N.S.

1 1.00 1.16 0.50 0.34 0.30 0.00 0.50 0.75

time (sec)

N/A 0.024 0.110 0.335 0.214 0.264 0.000 0.309 8.425

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

202 202 109 47 98 304 0 124 0

N.S.

1 1.00 0.54 0.23 0.49 1.50 0.00 0.61 0.00

time (sec)

N/A 0.059 1.025 2.265 0.300 0.278 0.000 0.303 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

202 202 109 47 98 299 0 122 0

N.S.

1 1.00 0.54 0.23 0.49 1.48 0.00 0.60 0.00

time (sec)

N/A 0.077 1.016 1.876 0.301 0.264 0.000 0.289 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

80 80 134 31 43 18 0 32 48

N.S.

1 1.00 1.68 0.39 0.54 0.22 0.00 0.40 0.60

time (sec)

N/A 0.023 0.171 0.447 0.223 0.245 0.000 0.305 8.571

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

238 238 133 93 106 103 0 131 0

N.S.

1 1.00 0.56 0.39 0.45 0.43 0.00 0.55 0.00

time (sec)

N/A 0.072 1.024 2.737 0.287 0.276 0.000 0.310 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

243 240 140 94 106 143 0 125 0

N.S.

1 0.99 0.58 0.39 0.44 0.59 0.00 0.51 0.00

time (sec)

N/A 0.072 1.025 3.569 0.289 0.275 0.000 0.304 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

125 122 175 44 73 33 0 50 75

N.S.

1 0.98 1.40 0.35 0.58 0.26 0.00 0.40 0.60

time (sec)

N/A 0.034 0.179 0.472 0.199 0.269 0.000 0.284 8.516

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

280 280 235 89 149 512 0 185 0

N.S.

1 1.00 0.84 0.32 0.53 1.83 0.00 0.66 0.00

time (sec)

N/A 0.088 1.050 3.856 0.311 0.277 0.000 0.312 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

276 276 235 87 146 503 0 176 0

N.S.

1 1.00 0.85 0.32 0.53 1.82 0.00 0.64 0.00

time (sec)

N/A 0.089 1.042 3.245 0.289 0.280 0.000 0.307 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

38 38 143 23 16 26 0 24 34

N.S.

1 1.00 3.76 0.61 0.42 0.68 0.00 0.63 0.89

time (sec)

N/A 0.020 0.351 0.059 0.209 0.256 0.000 0.285 8.237

[next] [front] [up]